AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

A standardized scan statistic for detecting spatial clusters with estimated parameters

The scan statistic based on likelihood ratios (LRs) have been widely discussed for detecting spatial clusters. When developing the scan statistic, it uses the maximum likelihood estimates of the incidence rates inside and outside candidate clusters to substitute the true values in the LR statistic. However, the parameter estimation has a significant impact on the sensitivity of the scan statistic, which favors the detection of clusters in areas with large population sizes. By presenting the effects of parameter estimation on Kulldorff's scan statistic, we suggest a standardized scan statistic for spatial cluster detection. Compared to the traditional scan statistic, the standardized scan statistic can account for the varying mean and variance of the LR statistic due to inhomogeneous background population sizes. Extensive simulations have been performed to compare the power of the two cluster detection methods with known or/and estimated parameters. The simulation results show that the standardization can help alleviate the effects of parameter estimation and improve the detection of localized clusters. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

常规导弹火力配置算法

基于理论推导提出了一种解决常规导弹火力配置问题的新算法。通过具体分析,建立了常规导弹打击目标火力配置的数学模型,描述了算法的具体原理,给出了算法的全局最优性证明和具体实现流程。     

反舰导弹红外图像生成研究

红外成像仿真的关键环节在于红外图像的生成,反舰导弹的红外图像生成是重要的研究内容,具有重要的军事意义。基于理论分析和计算机技术提出了导弹目标红外图像生成的方法,根据红外物理学、空气动力学以及传热学等基本理论,建立导弹目标的红外理论模型,计算出蒙皮、尾喷管和尾喷焰等重点辐射区域的温度场和辐射场,利用灰度等级描述红外辐射信息,经过建模、视点变换、环境设置等一系列处理并渲染生成红外图像。实验结果证明,红外图像生成方法可行,结果可信。     

编队对地攻击联合火力分配问题的Swt-opt算法

根据未来战争中编队对地攻击的特点,运用一致算法(consensus algorithm)的思想对Swt-opt算法进行改进,解决关于传感器-武器-目标的联合火力分配问题。改进算法继承了Swt-opt算法解决资源分配问题在通信、计算以及对战场态势的容错能力方面的优势,克服了Swt-opt算法受限于网络拓扑结构的缺点。最后,证明了改进算法的可行性,并运用Matlab对改进算法进行了仿真实现。     

提高师范生诗词鉴赏能力,加强诗歌教学设计

古典诗词的重要性决定了师范学院中文专业教育必须提高师范生古诗词的鉴赏能力,掌握古诗词鉴赏的基本方法:诵读法、以史证文法、比较异同法、诗眼分析法、情景扩展法和意境描述法。进而引导师范生将所学与所用结合起来,创造性地设计诗歌教学。     

运行和修复同时进行的固有可用度定时截尾试验方案

针对如何设计一个试验以完成检验系统固有可用度、平均故障间隔时间和平均修复时间等3个指标参数的问题,将试验分为同时进行的可靠性和维修性定时截尾试验2个项目,假设运行时间和修复时间均服从指数分布,且可靠性和维修性试验方案已知,提出了一种固有可用度定时截尾试验方案．该试验方案通过合理选择累积运行时间和累积修复时间,同时满足检验3个指标参数的承制方和使用方风险,可完成对3个指标参数的检验．     

基于自适应变异粒子群算法的火力分配方法研究

针对最优火力分配的特点,分析了火力分配优化问题的数学模型,设计了一种求解该类问题的自适应变异粒子群算法（Adaptive Mutation Particle Swarm Optimization, AMPSO）。该算法采用十进制编码方法和基于数值运算的个体更新方法;为平衡算法的局部搜索能力和全局收敛性能,设计了一种关键参数自适应调整方法;为增强种群在进化后期的多样性,提出了一种变异策略。仿真结果表明,所提AMPSO算法具有良好的寻优性能,是优化火力分配的一种有效算法。     

多目标多火力通道云调度策略研究

在水面舰艇面对多目标饱和攻击时,对多火力通道的最佳调度是水面舰艇自防御武器系统火力分配的关键问题。本文采用云模型方法将多目标威胁判断与反导武器系统多火力通道状态相匹配,通过实时评估目标威胁等级、武器系统抗击时间和最佳抗击距离等因素,提出一种兼顾目标和火力通道实时状态的新调度策略——云调度策略,有效降低舰艇损伤程度,提高反导武器系统抗击效率和抗击质量。仿真证明,此策略可提高整体反导防御效能。     

A critical look at the U.S. deceased‐donor organ procurement and utilization system

The U.S. system for procuring and utilizing deceased‐donor organs for transplantation has been studied and written about in many articles. The purpose of this paper is to examine the interactions between the elements that comprise this system, and point out improvement opportunities that may be affected through operations research/management techniques. The authors demonstrate the need for developing data‐driven and analytic tools. In fact, data is used to generate hypotheses and support claims throughout the paper. The paper also points out the need to fully leverage data that is available to researchers, and to seek data that is currently not deposited in a centralized archive.